Arguably all AI reasoning uses Boolean logic , hiwever in some systems, this is more up-front and part of the high-level representation. Typically logic rules have to be relatievly simple to be capable of fully automated reasoning, for example Prolog uses Horn clauses and in the semantic web there are more or less tractable variants of OWL.